$\forall$$R$:Realizer, $y$, $i$:Id. read{-}restricted($R$; $i$; $y$) $\Rightarrow$ R{-}has{-}loc($R$;$i$)